$\forall$$s$:LOSet. Connex($\mid$$s$$\mid$;$x$,$y$.$x$ $\leq$ $y$)